-
Définition
\(\triangleright\) Définition des bases hilbertienne
La famille de vecteur \(\ket {e_i},i_in I\) avec \(I\) quelconque, est totale si l'espace engendré est dense dans \(\mathcal H\) (espace de Hilbert).
Si \(\ket{e_i}\) sont orthogonaux: base hilbertienne
Si \(I\) est dénombrable: on parle d'espace de Hilbert séparable
Base orthonormée de l'espace de Hilbert